#include <stdint-gcc.h>

#include "simctl.h"

void simctl_finish(uint8_t exitcode)
{
	simctl_state = exitcode;
}
